Skip to content

(infra) run docgen before Sphinx build in Makefile#17

Merged
ahyangyi merged 2 commits intomainfrom
copilot/fix-makefile-docgen-execution
Mar 25, 2026
Merged

(infra) run docgen before Sphinx build in Makefile#17
ahyangyi merged 2 commits intomainfrom
copilot/fix-makefile-docgen-execution

Conversation

Copy link
Contributor

Copilot AI commented Mar 25, 2026

tools/docgen.py generates docs/baseset_sprites.md and associated images referenced by docs/index.md, but make doc only ran Sphinx without invoking docgen first.

  • Added python tools/docgen.py step to the doc target before make html

🔒 GitHub Advanced Security automatically protects Copilot coding agent pull requests. You can protect all pull requests by enabling Advanced Security for your repositories. Learn more about Advanced Security.

Co-authored-by: ahyangyi <700956+ahyangyi@users.noreply.github.com>
Agent-Logs-Url: https://github.com/ahyangyi/agrf/sessions/1a411e9b-fba9-4d96-982f-f8429ae3563a
Copilot AI changed the title [WIP] Fix makefile to run docgen before generating docs Run docgen before Sphinx build in Makefile Mar 25, 2026
Copilot AI requested a review from ahyangyi March 25, 2026 07:35
@ahyangyi ahyangyi marked this pull request as ready for review March 25, 2026 20:04
@ahyangyi ahyangyi changed the title Run docgen before Sphinx build in Makefile (infra) run docgen before Sphinx build in Makefile Mar 25, 2026
@ahyangyi ahyangyi merged commit f83f8e6 into main Mar 25, 2026
3 checks passed
@ahyangyi ahyangyi deleted the copilot/fix-makefile-docgen-execution branch March 25, 2026 20:05
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants